// 和函数类似， `impl`块要想实现泛型，也需要很仔细

struct S; // 具体类型 `S`
struct GenericVal<T>(T,); // 泛型类型 `GenericVal`

// GenericVal 的 `impl`, 此处我们显示地制定了类型参数
impl GenericVal<f32> { // 指定了 `f32` 类型

}

impl GenericVal<S> { // 指定为上面定义的 `S`

}

// `<T>` 必须在类型之前写出来，以使类型 `T` 代表泛型
impl <T> GenericVal<T> {

}

struct Val {
    val: f64
}

struct GenVal<T> {
    gen_val: T
}

// Val 的`impl`
impl Val {
    fn value(&self) -> &f64 {
        &self.val
    }
}

// GenVal 的 `impl`，指定 `T`是泛型类型
impl <T> GenVal<T> {
    fn value(&self) -> &T {
        &self.gen_val
    }
}

fn main() {
    let x = Val { val: 3.1 };
    let y = GenVal { gen_val: 3i32 };

    println!("{}, {}", x.value(), y.value());
}